Optimal. Leaf size=164 \[ \frac {\tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right ) \left (4 d f (2 A d f-B (c f+d e))+C \left (3 c^2 f^2+2 c d e f+3 d^2 e^2\right )\right )}{4 d^{5/2} f^{5/2}}-\frac {\sqrt {c+d x} \sqrt {e+f x} (-4 B d f+5 c C f+3 C d e)}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f} \]
________________________________________________________________________________________
Rubi [A] time = 0.15, antiderivative size = 164, normalized size of antiderivative = 1.00, number of steps used = 5, number of rules used = 5, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.172, Rules used = {951, 80, 63, 217, 206} \begin {gather*} \frac {\tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right ) \left (4 d f (2 A d f-B (c f+d e))+C \left (3 c^2 f^2+2 c d e f+3 d^2 e^2\right )\right )}{4 d^{5/2} f^{5/2}}-\frac {\sqrt {c+d x} \sqrt {e+f x} (-4 B d f+5 c C f+3 C d e)}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 63
Rule 80
Rule 206
Rule 217
Rule 951
Rubi steps
\begin {align*} \int \frac {A+B x+C x^2}{\sqrt {c+d x} \sqrt {e+f x}} \, dx &=\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f}+\frac {\int \frac {\frac {1}{2} \left (-3 c C d e-c^2 C f+4 A d^2 f\right )-\frac {1}{2} d (3 C d e+5 c C f-4 B d f) x}{\sqrt {c+d x} \sqrt {e+f x}} \, dx}{2 d^2 f}\\ &=-\frac {(3 C d e+5 c C f-4 B d f) \sqrt {c+d x} \sqrt {e+f x}}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f}+\frac {\left (C \left (3 d^2 e^2+2 c d e f+3 c^2 f^2\right )+4 d f (2 A d f-B (d e+c f))\right ) \int \frac {1}{\sqrt {c+d x} \sqrt {e+f x}} \, dx}{8 d^2 f^2}\\ &=-\frac {(3 C d e+5 c C f-4 B d f) \sqrt {c+d x} \sqrt {e+f x}}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f}+\frac {\left (C \left (3 d^2 e^2+2 c d e f+3 c^2 f^2\right )+4 d f (2 A d f-B (d e+c f))\right ) \operatorname {Subst}\left (\int \frac {1}{\sqrt {e-\frac {c f}{d}+\frac {f x^2}{d}}} \, dx,x,\sqrt {c+d x}\right )}{4 d^3 f^2}\\ &=-\frac {(3 C d e+5 c C f-4 B d f) \sqrt {c+d x} \sqrt {e+f x}}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f}+\frac {\left (C \left (3 d^2 e^2+2 c d e f+3 c^2 f^2\right )+4 d f (2 A d f-B (d e+c f))\right ) \operatorname {Subst}\left (\int \frac {1}{1-\frac {f x^2}{d}} \, dx,x,\frac {\sqrt {c+d x}}{\sqrt {e+f x}}\right )}{4 d^3 f^2}\\ &=-\frac {(3 C d e+5 c C f-4 B d f) \sqrt {c+d x} \sqrt {e+f x}}{4 d^2 f^2}+\frac {C (c+d x)^{3/2} \sqrt {e+f x}}{2 d^2 f}+\frac {\left (C \left (3 d^2 e^2+2 c d e f+3 c^2 f^2\right )+4 d f (2 A d f-B (d e+c f))\right ) \tanh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d} \sqrt {e+f x}}\right )}{4 d^{5/2} f^{5/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.79, size = 173, normalized size = 1.05 \begin {gather*} \frac {\sqrt {d e-c f} \sqrt {\frac {d (e+f x)}{d e-c f}} \sinh ^{-1}\left (\frac {\sqrt {f} \sqrt {c+d x}}{\sqrt {d e-c f}}\right ) \left (4 d f (2 A d f-B (c f+d e))+C \left (3 c^2 f^2+2 c d e f+3 d^2 e^2\right )\right )+d \sqrt {f} \sqrt {c+d x} (e+f x) (4 B d f+C (-3 c f-3 d e+2 d f x))}{4 d^3 f^{5/2} \sqrt {e+f x}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.38, size = 229, normalized size = 1.40 \begin {gather*} \frac {\tanh ^{-1}\left (\frac {\sqrt {d} \sqrt {e+f x}}{\sqrt {f} \sqrt {c+d x}}\right ) \left (8 A d^2 f^2-4 B c d f^2-4 B d^2 e f+3 c^2 C f^2+2 c C d e f+3 C d^2 e^2\right )}{4 d^{5/2} f^{5/2}}+\frac {\sqrt {e+f x} (d e-c f) \left (\frac {4 B d^2 f (e+f x)}{c+d x}-4 B d f^2-\frac {3 C d^2 e (e+f x)}{c+d x}-\frac {5 c C d f (e+f x)}{c+d x}+3 c C f^2+5 C d e f\right )}{4 d^2 f^2 \sqrt {c+d x} \left (\frac {d (e+f x)}{c+d x}-f\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 1.57, size = 380, normalized size = 2.32 \begin {gather*} \left [\frac {{\left (3 \, C d^{2} e^{2} + 2 \, {\left (C c d - 2 \, B d^{2}\right )} e f + {\left (3 \, C c^{2} - 4 \, B c d + 8 \, A d^{2}\right )} f^{2}\right )} \sqrt {d f} \log \left (8 \, d^{2} f^{2} x^{2} + d^{2} e^{2} + 6 \, c d e f + c^{2} f^{2} + 4 \, {\left (2 \, d f x + d e + c f\right )} \sqrt {d f} \sqrt {d x + c} \sqrt {f x + e} + 8 \, {\left (d^{2} e f + c d f^{2}\right )} x\right ) + 4 \, {\left (2 \, C d^{2} f^{2} x - 3 \, C d^{2} e f - {\left (3 \, C c d - 4 \, B d^{2}\right )} f^{2}\right )} \sqrt {d x + c} \sqrt {f x + e}}{16 \, d^{3} f^{3}}, -\frac {{\left (3 \, C d^{2} e^{2} + 2 \, {\left (C c d - 2 \, B d^{2}\right )} e f + {\left (3 \, C c^{2} - 4 \, B c d + 8 \, A d^{2}\right )} f^{2}\right )} \sqrt {-d f} \arctan \left (\frac {{\left (2 \, d f x + d e + c f\right )} \sqrt {-d f} \sqrt {d x + c} \sqrt {f x + e}}{2 \, {\left (d^{2} f^{2} x^{2} + c d e f + {\left (d^{2} e f + c d f^{2}\right )} x\right )}}\right ) - 2 \, {\left (2 \, C d^{2} f^{2} x - 3 \, C d^{2} e f - {\left (3 \, C c d - 4 \, B d^{2}\right )} f^{2}\right )} \sqrt {d x + c} \sqrt {f x + e}}{8 \, d^{3} f^{3}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [A] time = 1.22, size = 194, normalized size = 1.18 \begin {gather*} \frac {{\left (\sqrt {{\left (d x + c\right )} d f - c d f + d^{2} e} \sqrt {d x + c} {\left (\frac {2 \, {\left (d x + c\right )} C}{d^{3} f} - \frac {5 \, C c d^{5} f^{2} - 4 \, B d^{6} f^{2} + 3 \, C d^{6} f e}{d^{8} f^{3}}\right )} - \frac {{\left (3 \, C c^{2} f^{2} - 4 \, B c d f^{2} + 8 \, A d^{2} f^{2} + 2 \, C c d f e - 4 \, B d^{2} f e + 3 \, C d^{2} e^{2}\right )} \log \left ({\left | -\sqrt {d f} \sqrt {d x + c} + \sqrt {{\left (d x + c\right )} d f - c d f + d^{2} e} \right |}\right )}{\sqrt {d f} d^{2} f^{2}}\right )} d}{4 \, {\left | d \right |}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.02, size = 425, normalized size = 2.59 \begin {gather*} \frac {\left (8 A \,d^{2} f^{2} \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )-4 B c d \,f^{2} \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )-4 B \,d^{2} e f \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )+3 C \,c^{2} f^{2} \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )+2 C c d e f \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )+3 C \,d^{2} e^{2} \ln \left (\frac {2 d f x +c f +d e +2 \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, \sqrt {d f}}{2 \sqrt {d f}}\right )+4 \sqrt {d f}\, \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, C d f x +8 \sqrt {d f}\, \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, B d f -6 \sqrt {d f}\, \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, C c f -6 \sqrt {d f}\, \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, C d e \right ) \sqrt {d x +c}\, \sqrt {f x +e}}{8 \sqrt {d f}\, \sqrt {\left (d x +c \right ) \left (f x +e \right )}\, d^{2} f^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [F(-2)] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: ValueError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 25.89, size = 833, normalized size = 5.08 \begin {gather*} \frac {\frac {\left (2\,B\,c\,f+2\,B\,d\,e\right )\,\left (\sqrt {c+d\,x}-\sqrt {c}\right )}{f^3\,\left (\sqrt {e+f\,x}-\sqrt {e}\right )}+\frac {\left (2\,B\,c\,f+2\,B\,d\,e\right )\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^3}{d\,f^2\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^3}-\frac {8\,B\,\sqrt {c}\,\sqrt {e}\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^2}{f^2\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^2}}{\frac {{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^4}{{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^4}+\frac {d^2}{f^2}-\frac {2\,d\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^2}{f\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^2}}-\frac {\frac {\left (\sqrt {c+d\,x}-\sqrt {c}\right )\,\left (\frac {3\,C\,c^2\,d\,f^2}{2}+C\,c\,d^2\,e\,f+\frac {3\,C\,d^3\,e^2}{2}\right )}{f^6\,\left (\sqrt {e+f\,x}-\sqrt {e}\right )}-\frac {{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^3\,\left (\frac {11\,C\,c^2\,f^2}{2}+25\,C\,c\,d\,e\,f+\frac {11\,C\,d^2\,e^2}{2}\right )}{f^5\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^3}+\frac {{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^7\,\left (\frac {3\,C\,c^2\,f^2}{2}+C\,c\,d\,e\,f+\frac {3\,C\,d^2\,e^2}{2}\right )}{d^2\,f^3\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^7}-\frac {{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^5\,\left (\frac {11\,C\,c^2\,f^2}{2}+25\,C\,c\,d\,e\,f+\frac {11\,C\,d^2\,e^2}{2}\right )}{d\,f^4\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^5}+\frac {\sqrt {c}\,\sqrt {e}\,\left (32\,C\,c\,f+32\,C\,d\,e\right )\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^4}{f^4\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^4}}{\frac {{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^8}{{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^8}+\frac {d^4}{f^4}-\frac {4\,d\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^6}{f\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^6}-\frac {4\,d^3\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^2}{f^3\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^2}+\frac {6\,d^2\,{\left (\sqrt {c+d\,x}-\sqrt {c}\right )}^4}{f^2\,{\left (\sqrt {e+f\,x}-\sqrt {e}\right )}^4}}-\frac {4\,A\,\mathrm {atan}\left (\frac {d\,\left (\sqrt {e+f\,x}-\sqrt {e}\right )}{\sqrt {-d\,f}\,\left (\sqrt {c+d\,x}-\sqrt {c}\right )}\right )}{\sqrt {-d\,f}}-\frac {2\,B\,\mathrm {atanh}\left (\frac {\sqrt {f}\,\left (\sqrt {c+d\,x}-\sqrt {c}\right )}{\sqrt {d}\,\left (\sqrt {e+f\,x}-\sqrt {e}\right )}\right )\,\left (c\,f+d\,e\right )}{d^{3/2}\,f^{3/2}}+\frac {C\,\mathrm {atanh}\left (\frac {\sqrt {f}\,\left (\sqrt {c+d\,x}-\sqrt {c}\right )}{\sqrt {d}\,\left (\sqrt {e+f\,x}-\sqrt {e}\right )}\right )\,\left (3\,c^2\,f^2+2\,c\,d\,e\,f+3\,d^2\,e^2\right )}{2\,d^{5/2}\,f^{5/2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {A + B x + C x^{2}}{\sqrt {c + d x} \sqrt {e + f x}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________